../src/util/myBitVec.h